Various kinds of pulley